Pseudo code programming language from sent spec to spec
- wo explicit recn
- expands, finds intermediate commands